perm filename GROUP[1,JRA]1 blob sn#005826 filedate 1972-10-20 generic text, type T, neo UTF8
00100	G1: X*X =Y*Y;
00200	G2:X*(Y*Y)=X;
00300	G3:(X*Z)*(Y*Z)=X*Y;
00400	A1: X*(Y*Z)=Z*(Y*X);
00500	A2: X*(X*Y)=Y;
00600	A: (X*Y)*((X*Z)*Y)=Z;
00700	DF: X*(1*Y)=X⊗Y;
00750	DF1: X*X =1;
00800	;